Proper Maps for Lax Algebras and the Kuratowski-mrówka Theorem
نویسندگان
چکیده
The characterization of stably closed maps of topological spaces as the closed maps with compact fibres and the role of the Kuratowski-Mrówka’ Theorem in this characterization are being explored in the general context of lax (T, V )-algebras, for a quantale V and a Setmonad T with a lax extension to V -relations. The general results are being applied in standard (topological and metric) and non-standard (labeled graphs) contexts.
منابع مشابه
On lifting of biadjoints and lax algebras
Given a pseudomonad $mathcal{T} $ on a $2$-category $mathfrak{B} $, if a right biadjoint $mathfrak{A}tomathfrak{B} $ has a lifting to the pseudoalgebras $mathfrak{A}tomathsf{Ps}textrm{-}mathcal{T}textrm{-}mathsf{Alg} $ then this lifting is also right biadjoint provided that $mathfrak{A} $ has codescent objects. In this paper, we give general results on lifting of biadjoints. As a consequence, ...
متن کاملSMOOTHING RING MAPS Contents
Our exposition follows Swan’s, but we first prove an intermediate result which let’s us work in a slightly simpler situation. Here is an overview. We first solve the following “lifting problem”: A flat infinitesimal deformation of a filtered colimit of smooth algebras is a filtered colimit of smooth algebras. This result essentially says that it suffices to prove the main theorem for maps betwe...
متن کاملEffective Descent Morphisms in Categories of Lax Algebras
In this paper we investigate effective descent morphisms in categories of reflexive and transitive lax algebras. We show in particular that open and proper maps are effective descent, result that extends the corresponding results for the category of topological spaces and continuous maps. Introduction A morphism p : E → B in a category C with pullbacks is called effective descent if it allows a...
متن کاملAutomatic continuity of almost multiplicative maps between Frechet algebras
For Fr$acute{mathbf{text{e}}}$chet algebras $(A, (p_n))$ and $(B, (q_n))$, a linear map $T:Arightarrow B$ is textit{almost multiplicative} with respect to $(p_n)$ and $(q_n)$, if there exists $varepsilongeq 0$ such that $q_n(Tab - Ta Tb)leq varepsilon p_n(a) p_n(b),$ for all $n in mathbb{N}$, $a, b in A$, and it is called textit{weakly almost multiplicative} with respect to $(p_n)$ and $(q_n)$...
متن کاملAlmost n-Multiplicative Maps between Frechet Algebras
For the Fr'{e}chet algebras $(A, (p_k))$ and $(B, (q_k))$ and $n in mathbb{N}$, $ngeq 2$, a linear map $T:A rightarrow B$ is called textit{almost $n$-multiplicative}, with respect to $(p_k)$ and $(q_k)$, if there exists $varepsilongeq 0$ such that$$q_k(Ta_1a_2cdots a_n-Ta_1Ta_2cdots Ta_n)leq varepsilon p_k(a_1) p_k(a_2)cdots p_k(a_n),$$for each $kin mathbb{N}$ and $a_1, a_2, ldots, a_nin A$. Th...
متن کامل